Multiple Reachability in Linear Dynamical Systems
arxiv.org·5h
🔲Cellular Automata
FSM for Python, Inspired by Gen_fsm
github.com·1d·
Discuss: Hacker News
🐛Fuzzing
Automated Verification of Model-Based Design Transformations via Formal Methods and Deep Learning
dev.to·11h·
Discuss: DEV
⚙️Proof Engineering
Anaphoric Macros
letoverlambda.com·49m·
Discuss: Lobsters
🧠Lisp Dialects
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·1d·
Discuss: r/rust
🐚Shell Monads
Mellea is a library for writing generative programs
mellea.ai·16h·
Discuss: Lobsters, Hacker News
⚡Incremental Computation
Writing an LLM from scratch - Tutorial series
gilesthomas.com·17h
💻Local LLMs
On The Little Things of Data Representation
lmika.org·11h
🗄️Database Internals
Complex behaving Hardware with CircuitPython - Part I
hackster.io·2d
⚡Circuit Design
Software Engineering Laws - Design & UX
leadership.garden·16h
🎨Nordic UX
Promoting Efficient Reasoning with Verifiable Stepwise Reward
arxiv.org·5h
🔗Constraint Handling
Babbage – The Language of the Future
tlc-systems.com·14h·
Discuss: Hacker News
🇬🇧British Computing
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·12h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
LangGraph 101: Let’s Build A Deep Research Agent
towardsdatascience.com·9h
🕸️Neo4j
Simplifying Code: Migrating from Reactive to Virtual Threads
scalex.dev·21h·
Discuss: Hacker News
🌊Stream Processing
Databricks: Recognizing and avoiding security vulnerabilities in vibe coding
heise.de·1d
📜Proof Carrying Code
Google DeepMind Genie 3: The Most Interesting AI Model Announced in 2025
thealgorithmicbridge.com·18h
🔲Cellular Automata
Show HN: Mapping the Network Behind "The Network State"
evai.ai·15h·
Discuss: Hacker News
📡BGP Archaeology
Swift for the Web
nicksloan.com·2d·
Discuss: Hacker News
🔬Refinement Types
Taming the Beast: Comparing Jsonnet, Dhall, Cue
pv.wtf·1d·
Discuss: Lobsters, Hacker News
🔒WASM Capabilities